    addi x1, x0, 10
    addi x2, x0, 12
    beq x1, x2, P
    addi x4, x0, -1
    andi x5, x0, -1
.P:
    addi x4, x0, 12
    andi x5, x0, 12